Specie Contracts

Assessment of interspecific and intrapopulational polymorphism at Bison bonasus specie

Report: antibiotic production by thermophilic Bacillus specie SAT-4.

Production of antimicrobial compounds seems to be a general phenomenon for most bacteria. The prevalence of antimicrobial resistance among key microbial pathogens is increasing at an alarming rate worldwide. Current solutions involve development of a more rationale approach to antibiotic use and discover of new antimicrobials. Bacillus species produce a large number of biological compounds acti...

On Verifying Resource Contracts using Code Contracts

In this paper we present an approach to check resource consumption contracts using an off-theshelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both ...

Psychological Contracts Book Section Psychological Contracts

LSE has developed LSE Research Online so that users may access research output of the School. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. Users may download and/or print one copy of any article(s) in LSE Research Online to facilitate their private study or for non-commercial research. You may not engage in furthe...

Retractable Contracts

In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with s...